# -*- mode: snippet -*-
# name: Unset Proof Using Clear Unused
# --
Unset Proof Using Clear Unused
